121. 13, 2012. Proceedings-Evolutionary Computation in Combinatorial Optimization: 12th European Conference, EvoCOP 2012, Mlaga, Spain, April 11
پدیدآورنده : / Kao Hao, Martin Middendorf (eds.)-nguez, Enrique Alba (auth.), Jinکn DomعJuli
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
122. 29, 2011. Proceedings-Evolutionary Computation in Combinatorial Optimization: 11th European Conference, EvoCOP 2011, Torino, Italy, April 27
پدیدآورنده : / Kao Hao (eds.)-Sadaf Naseem Jat, Shengxiang Yang (auth.), Peter Merz, Jin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
123. 29, 2011. Proceedings-Genetic Programming: 14th European Conference, EuroGP 2011, Torino, Italy, April 27
پدیدآورنده : / Dilip P. Ahalpara, Abhijit Sen (auth.), Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
124. 23, 2010. Proceedings-IX, Nancy, France, July 19-Algorithmic Number Theory: 9th International Symposium, ANTS
پدیدآورنده : / (eds.)فois Morain, Emmanuel ThomغHenri Darmon (auth.), Guillaume Hanrot, Fran
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
125. 31, 2011. Proceedings-Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26
پدیدآورنده : / Vide (eds.)-nکHoria Dediu, Shunsuke Inenaga, Carlos Mart-Thomas Colcombet (auth.), Adrian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
126. 26, 2011. Proceedings-Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22
پدیدآورنده : / Alexandr Andoni (auth.), Filip Murlak, Piotr Sankowski (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
127. 28, 2010. Proceedings-Research in Computational Molecular Biology: 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25
پدیدآورنده : / Nir Atias, Roded Sharan (auth.), Bonnie Berger (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
128. 30,2010. Proceedings-Rough Sets and Current Trends in Computing: 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28
پدیدآورنده : / Katia Sycara (auth.), Marcin Szczuka, Marzena Kryszkiewicz, Sheela Ramanna, Richard Jensen, Qinghua Hu (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
129. 20, 2012. Proceedings- SAT 2012: 15th International Conference, Trento, Italy, June 17ع۰بTheory and Applications of Satisfiability Testing
پدیدآورنده : / Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
130. 11, 2010. Proceedings-Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7
پدیدآورنده : / Fiala, Petr Kolman (eds.)کl, Angsheng Li, JiکJohn Hopcroft (auth.), Jan Kratochv
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
131. 10, 2011. Proceedings-Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6
پدیدآورنده : / Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
132. 9, 2012. Proceedings-a, Spain, March 5Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coru
پدیدآورنده : / Vide (eds.)-nکHoria Dediu, Carlos Mart-Eugene Asarin (auth.), Adrian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
133. Programming Graphical User Interfaces in R
پدیدآورنده : / Lawrence, Michael
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
134. Programming Languages and Operational Semantics
پدیدآورنده : / ndezعMaribel Fern
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
135. Programming Languages and Systems
پدیدآورنده : / Kazunori Ueda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
136. Progress in VLSI Design and Test
پدیدآورنده : / Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
137. Rainbow Connections of Graphs
پدیدآورنده : / Xueliang Li, Yuefang Sun (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
138. Reachability Problems
پدیدآورنده : / l Ouaknine, Igor Potapov, James WorrellقJo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
139. Recent Advances in Intrusion Detection
پدیدآورنده : / Somesh Jha, Robin Sommer, Christian Kreibich
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
140. Recent Trends in Wireless and Mobile Networks
پدیدآورنده : / zcan, Nabendu Chaki, Dhinaharan NagamalaiAbdulkadir
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
